61. Advanced topics in types and programming languages
پدیدآورنده : / Benjamin C. Pierce, editor
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming languages (Electronic computers)
رده :
QA76
.
7
.
A36
2005
62. Advanced topics in types and programming languages /
پدیدآورنده : / Edited by Benjamin C. Pierce
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Programming languages (Electronic computers)
رده :
QA
76
.
7
.
A36
2005
63. Advanced topics in types and programming languages
پدیدآورنده : Benjamin C. Pierce, editor
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
A36
64. Advanced topics in types and programming languages
پدیدآورنده : Benjamin C. Pierce, editor
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
A36
2005
65. Advanced topics in types and programming languages
پدیدآورنده : / edited by Benjamin C. Pierce,
کتابخانه: Ilam University Central Library (Ilam)
موضوع : Programming languages (Electronic computers)
رده :
QA76
.
7
.
A36
2005
66. Advanced topics in types and programming languages
پدیدآورنده : / Benjamin C. Pierce, editor
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Programming languages (Electronic computers)
رده :
QA
,
76
.
7
,.
A36
,
2005
67. Advances in Database Technology - EDBT '94 :
پدیدآورنده : edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Data structures (Computer science),Programming languages (Electronic computers)
رده :
QA76
.
9
.
D3
E358
1994
68. Advances in computer-aided manufacture : proceedings of the 3rd International IFIP/IFAC Conference on Programming Languages for Machine Tools, PROLAMAT 76, Stirling, Scotland, 15-18 June, 1976
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine-tools-- Numerical control-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
TJ
1189
.
I56
1976
69. Advances in computer science--ASIAN 2004 : higher-level decision making : 9 th Asian Computing Science Conference, dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings
پدیدآورنده : Michael J. Maher )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
3321
70. Advances in computers
پدیدآورنده : edited by Franz L. Alt and Morris Rubinoff.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,Computers.,Electronic data processing.
رده :
QA76
.
A3810
1970eb
71. Advances in computers.
پدیدآورنده : edited by Franz L. Alt and Morris Rubinoff.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computers.,Electronic datat processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA76
.
A3eb
vol
.
5
72. Advances in computers.
پدیدآورنده : edited by Morris Rubinoff.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computers.,Electronic data processing.,Computer science.,COMPUTERS-- Bioinformatics.,Computers.,Electronic data processing.
رده :
QA76
.
A3eb
1972
73. Advances in computers.
پدیدآورنده : edited by Franz L. Alt and Morris Rubinoff.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Natural language processing.,Natural language processing.,Electronic data processing.,Programming languages (Electronic computers),Time-sharing computer systems.,COMPUTERS-- Bioinformatics.,Electronic data processing.,Programming languages (Electronic computers),Time-sharing computer systems.
رده :
QA76
.
A3eb
vol
.
8
74. Advances in computers.
پدیدآورنده : edited by Franz L. Alt and Morris Rubinoff.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computers.,Electronic data processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.
رده :
QA76
.
A3eb
vol
.
4
75. Advances in computers.
پدیدآورنده : edited by Morris Rubinoff and Marshall C. Yovits.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,Computers.,Electronic data processing.,REFERENCE-- Questions & Answers.
رده :
QA76
.
A38eb
vol
.
13
76. Advances in computing science--ASIAN 2003
پدیدآورنده : / Vijay A. Saraswat, ed
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer science--Congresses,Programming languages (Electronic computers)--Congresses,Electronic data processing--Congresses
رده :
QA
,
75
.
5
,.
A735
,
2003
77. Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proceedings
پدیدآورنده : Vijay A. Saraswat, )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
2896
78. Algebraic Informatics
پدیدآورنده : \ Andreas Maletti (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,زبان‌های برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- داده‌پردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
79. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G., 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Algebra
رده :
QA
76
.
7
.
M34
1986
80. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
